majorizing function

[数] 强函数